Trade talk: Serial solver

Talk failures: food and fair trade.

ISM Seminar Trade-off Balancing of Scheduling in Serial Systems

min(∑Cj), are two fundamental objectives of scheduling in serial systems, where a serial system consists of a number of stages or machines, and operations must be done sequentially from the first operation to the last. An m-machine flow line for production scheduling in manufacturing systems and a 3-stage perioperative (periop) process for operating room (OR) scheduling in healthcare systems ar...

Solver Device for Powdery Drugs

Pharmacotherapy is a major treatment method in healthcare centers, and the injection of powdered drugs is among common pharmacotherapy techniques. Medication errors and nosocomial infections are among major health issues in the world. On the other hand, powdered drugs are widely used in hospitals; however, drug mixture is a very time-consuming process. The objective of this invention was to acc...

Serial Correlation Coefficient

In this paper, we investigate the relation between two variables where the one is measured with the ratio or interval scale and the other with the nominal. In this cases, we use from serial correlation coefficient. Computation of some serial coefficient such as biserial and point-biserial coefficient is carried out with some examples and R program.

Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution (Invited Talk)

A crucial problem in software security is the detection of side-channels [5, 2, 7]. Information gained by observing non-functional properties of program executions (such as execution time or memory usage) can enable attackers to infer secret information (such as a password). In this talk, I will discuss how symbolic execution, combined with a model counting constraint solver, can be used for qu...